Development of concurrent structural decentralised discrete event system using bisimulation concept
نویسندگان
چکیده
منابع مشابه
Simulation Study of Concurrent Structural Decentralised Discrete-Event Systems: Case Study with an Industrial Sized Chemical Batch Plant
A structural decentralised control of discrete-event system (DES) is employed for a simulation study of a sequence control of cleaning-in-process of chemical batch plant. Due to the number of states of the whole plant model is too big, the whole plant has subdivided into smaller sizes and in the local level, the DES models for the local plant and local specifications are established. The condit...
متن کاملA synthesis process to arrange the eligibility conditions for the structural decentralised discrete-event systems
In the supervisor control theory framework of discrete-event systems, modular or decentralised control schemes are proposed and used to overcome computational complexity problem. However in most studies, the eligibility conditions to establish those schemes are required to be verified for every specification. This means that even a minor modification of specifications such as production sequenc...
متن کاملDecentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the traditional sequencing-based language equivalence. As a finer behavior equivalence than language equivalence, bisimulation not only allows the full set of branching behaviors but also explicitly specifies the properties in ter...
متن کاملSupervisory Control of Concurrent Discrete Event Systems
In this paper, we are interested in the control of Concurrent Discrete Event Systems defined by a collection of components that interact with each other. We investigate the computation of the supremal controllable language contained in the one of the specification. It is shown that by ensuring on the specification a new language property, called partial controllability condition with respect to...
متن کاملFault Monitoring in Manufacturing Systems Using Concurrent Discrete-Event Observations
The discrete-event nature of on-line data from automated manufacturing system offers many challenges for on-line fault detection. In this paper, the template monitoring method is developed as a simple but versatile method of fault monitoring using discrete event signals. This monitoring method is easily distributable, suitable for monitoring highly concurrent systems, and has low computational ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Numerical Algebra, Control and Optimization
سال: 2016
ISSN: 2155-3289
DOI: 10.3934/naco.2016013